Issue3480.agda:6,8-8
Issue3480.agda:6,8: Parse error
<EOF><ERROR>
...
